Timetable for Hilary Term 2012 - Lecture Theatre B

	Monday	Tuesday	Wednesday	Thursday	Friday
9:00	Knowledge Representation & Reasoning 9:00 - 10:00 Weeks 1-8 Lecture Theatre B	Software Verification 9:00 - 10:00 Weeks 1-2 Lecture Theatre B	Knowledge Representation & Reasoning 9:00 - 10:00 Weeks 1-8 Lecture Theatre B	Software Verification 9:00 - 10:00 Weeks 1-8 Lecture Theatre B	Information Retrieval 9:00 - 10:00 Weeks 5-8 Lecture Theatre B
10:00	Concurrency 10:00 - 11:00 Weeks 1-7 Lecture Theatre B	Concurrent Programming 10:00 - 11:00 Weeks 1,2,4,5,6,7,8 Lecture Theatre B	Concurrency 10:00 - 11:00 Weeks 1-8 Lecture Theatre B	Concurrent Programming 10:00 - 11:00 Weeks 1-8 Lecture Theatre B	Information Retrieval 10:00 - 11:00 Weeks 1-8 Lecture Theatre B
11:00	Categorical Quantum Mechanics 11:00 - 12:00 Weeks 1-8 Lecture Theatre B		Advanced Data Structures and Algorithms 11:00 - 12:00 Weeks 1-8 Lecture Theatre B	Advanced Data Structures and Algorithms 11:00 - 12:00 Weeks 1-8 Lecture Theatre B
12:00	Compilers 12:00 - 13:00 Weeks 1-8 Lecture Theatre B		Information Retrieval 12:00 - 13:00 Weeks 1-8 Lecture Theatre B		Software Verification 12:00 - 13:00 Weeks 1-8 Lecture Theatre B
14:00			Categorical Quantum Mechanics 14:00 - 15:00 Week 4 Lecture Theatre B	Reasoning about Information Update 14:00 - 15:00 Weeks 1-8 Lecture Theatre B
15:00			Reasoning about Information Update 15:00 - 16:00 Weeks 1-8 Lecture Theatre B
15:00	Software Verification Group 1 15:00 - 16:00 Week 3 Lecture Theatre B
16:00	Automata, Logic and Games 16:00 - 17:00 Weeks 1-8 Lecture Theatre B		Automata, Logic and Games 16:00 - 17:00 Weeks 1-8 Lecture Theatre B		Automata, Logic and Games 16:00 - 17:00 Weeks 1-4 Lecture Theatre B